The three valued logic