Tekstiviesti: Logic and Boolean algebra.