Three-valued logic

З Вікіпедії, вільної енциклопедії