logică 4.1