Как определить истинность высказываний в информатике