logică 4